java/Graph Editor/src/models/GraphEdge.java

   1 package models;
   2
   3 import java.util.Observable;
   4
   5 public class GraphEdge extends Observable{
   6         private GraphVertex[] nodes;
   7
   8         public synchronized void setChanged() {
   9                super.setChanged();
  10                notifyObservers();
  11         }
  12
  13         public GraphEdge(GraphVertex ... nodes){
  14                 this.nodes = nodes;
  15         }
  16
  17         public GraphEdge(){
  18                 this((GraphVertex)null);
  19         }
  20
  21         public boolean EdgeOf(GraphVertex o){
  22                 for(int i=0; i < nodes.length; i++)
  23                         if(nodes[i] == o)
  24                                 return true;
  25                 return false;
  26         }
  27
  28         public void setNodes(GraphVertex[] nodes){
  29                 this.nodes = nodes;
  30                 setChanged();
  31         }
  32
  33         public GraphVertex[] getNodes(){
  34                 return nodes;
  35         }
  36 }